Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
701	Does Law Matter? Theory and Evidence from Single-Subject Adjudication Add to Reading List Source URL: www.law.virginia.edu Language: English - Date: 2012-02-22 10:34:51 Mathematical logic Non-classical logic Categorical proposition Propositions United States Constitution Single-subject rule Category of being Modal logic New legal realism Logic Ontology Traditional logic
702	Version 7 Dysfunctions of highly parallel real-time machines as ‘developmental disorders’: Security concerns and a Caveat Emptor Rodrick Wallace Division of Epidemiology Add to Reading List Source URL: cogprints.org Language: English - Date: 2009-12-08 16:10:07 Topology Algebraic structures Category theory Algebraic topology Groupoid Epigenetics Equivalence relation Rate–distortion theory Directed algebraic topology Homotopy theory Mathematics Abstract algebra
703	A survey of graphical languages for monoidal categories Peter Selinger Dalhousie University Abstract This article is intended as a reference guide to various notions of monoidal categories and their associated string dia Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2011-10-06 00:07:41 Braided monoidal category Monoid Coherence condition Compact closed category Bicategory Coherence theorem Dual Morphism Natural transformation Category theory Algebra Monoidal categories
704	NOTES ON QUASI-CATEGORIES ´ JOYAL ANDRE Contents 1. Introduction Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-01-22 11:32:36 Category theory Mathematics Algebraic topology Simplicial set Model category Kan fibration Functor Fundamental group Nerve Abstract algebra Topology Homotopy theory
705	Title Prairie Evers / Ellen Airgood. Author Airgood, Ellen. Add to Reading List Source URL: www.liberty.edu Language: English - Date: 2013-03-18 12:26:03 The DeAndre Way Library Algebraic geometry Category theory Stack
706	ALGEBRA + HOMOTOPY = OPERAD BRUNO VALLETTE “If I could only understand the beautiful consequence following from the concise proposition d2 = 0.” Henri Cartan A BSTRACT. This survey provides an elementary introductio Add to Reading List Source URL: math.unice.fr Language: English - Date: 2011-12-06 09:29:11 Category theory Algebraic topology Associative algebra Operad theory Universal property Functor Quasi-isomorphism Homotopy category Lie algebra Abstract algebra Algebra Mathematics
707	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
708	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID[removed], 5 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 18:02:29 Algebraic structures Category theory Homotopy theory Operator theory Symmetry Groupoid Von Neumann algebra Markov chain Group action Abstract algebra Algebra Mathematics
709	Synchronous Machines: a Traced Category Marc Bagnol∗ & Adrien Guatto† Institut de Mathématiques de Luminy, Aix-Marseille Université Département d’Informatique de l’École normale supérieure and INRIA Rocquenc Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-11-27 10:42:32 Abstract algebra Braided monoidal category Coherence condition Monoid Functor Category Morphism Product Motive Category theory Algebra Monoidal categories
710	Internet Engineering Task Force (IETF) Request for Comments: 6681 Category: Standards Track ISSN: [removed]M. Watson Add to Reading List Source URL: www.rfc-editor.org Language: English - Date: 2012-08-14 12:25:38 Forward error correction OSI protocols Data Information Real-time Transport Protocol Symbol rate Fountain code Coding theory Error detection and correction Raptor code

UPDATE